Accurate LLVM IR to Binary CFGs Mapping for Simulation of Optimized Embedded Software

by Alessandro Cornaglia, Alexander Viehl, and Oliver Bringmann
In International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), 2021.